Listar por autor 

Listar por autor "Wimmer, Manuel"  

Mostrando ítems 1-20 de 20

    • Artículo
      Icon

      A local and global tour on MOMoT 

      Bill, Robert; Fleck, Martin; Troya Castilla, Javier; Mayerhofer, Tanja; Wimmer, Manuel (Springer, 2017)
      Many model transformation scenarios require flexible execution strategies as they should produce models with the ...
    • Ponencia
      Icon

      ARTIST: Model-Based Stairway to the Cloud 

      Troya Castilla, Javier; Brunelière, Hugo; Fleck, Martin; Wimmer, Manuel; Orue-Echevarría, Leire; Gorroñogoitia, Jesús (CEUR-WS, 2015)
      Over the past decade, cloud services emerged as one of the most promising technologies in IT. Since cloud computing allows ...
    • Ponencia
      Icon

      From Out-Place Transformation Evolution to In-Place Model Patching 

      Bergmayr, Alexander; Troya Castilla, Javier; Wimmer, Manuel (ACM Digital Library, 2014)
      Model transformation is a key technique to automate software engineering tasks. Like any other software, transformations ...
    • Artículo
      Icon

      Full contract verification for ATL using symbolic execution 

      Oakes, Bentley James; Troya Castilla, Javier; Lúcio, Levy; Wimmer, Manuel (Springer, 2016)
      The Atlas Transformation Language (ATL) is currently one of the most used model transformation languages and has become a ...
    • Ponencia
      Icon

      Fully Verifying Transformation Contracts for Declarative ATL 

      Oakes, Bentley James; Troya Castilla, Javier; Lúcio, Levy; Wimmer, Manuel (IEEE Computer Society, 2015)
      The Atlas Transformation Language (ATL) is today a de-facto standard in model-driven development. It is understood by ...
    • Artículo
      IconIcon

      Model Transformation Modularization as a Many-Objective Optimization Problem 

      Fleck, Martin; Troya Castilla, Javier; Kessentini, Marouane; Wimmer, Manuel; Alkhazi, Bader (IEEE Computer Society, 2017)
      Model transformation programs are iteratively refined, restructured, and evolved due to many reasons such as fixing bugs and ...
    • Artículo
      Icon

      Model Transformation Testing and Debugging: A Survey 

      Troya Castilla, Javier; Segura Rueda, Sergio; Burgueño, Lola; Wimmer, Manuel (ACM Digital Library, 2022-11-21)
      Model transformations are the key technique in Model-Driven Engineering (MDE) to manipulate and construct models. As a ...
    • Ponencia
      Icon

      On the Concurrent Execution of Model Transformations with Linda 

      Burgueño, Loli; Troya Castilla, Javier; Wimmer, Manuel; Vallecillo Moreno, Antonio (ACM Digital Library, 2013)
      Nowadays there exists a wide variety of model transforma-tion languages. However, all of them present limitations, ...
    • Ponencia
      Icon

      Parallel In-place Model Transformations with LinTra 

      Burgueño, Loli; Troya Castilla, Javier; Wimmer, Manuel; Vallecillo Moreno, Antonio (CEUR-WS, 2015)
      As software systems have grown large and complex in the last few years, the problems with which Model-Driven Development ...
    • Ponencia
      Icon

      Search-Based Model Transformations with MOMoT 

      Fleck, Martin; Troya Castilla, Javier; Wimmer, Manuel (Springer, 2016)
      Many scenarios require flexible model transformations as their execution should of course produce models with the best ...
    • Artículo
      Icon

      Search‐based model transformations 

      Fleck, Martin; Troya Castilla, Javier; Wimmer, Manuel (Wiley, 2016)
      Model transformations are an important cornerstone of model‐driven engineering, a discipline which facilitates the abstraction ...
    • Artículo
      Icon

      Static Fault Localization in Model Transformations 

      Burgueño, Loli; Troya Castilla, Javier; Wimmer, Manuel; Vallecillo Moreno, Antonio (IEEE Computer Society, 2015)
      As the complexity of model transformations grows, there is an increasing need to count on methods, mechanisms, and tools for ...
    • Ponencia
      Icon

      The Class Responsibility Assignment Case 

      Fleck, Martin; Troya Castilla, Javier; Wimmer, Manuel (CEUR-WS, 2016)
      This paper describes a case study for the ninth Transformation Tool Contest (TTC’16)1. The case is aimed at the production ...
    • Ponencia
      Icon

      Towards Approximate Model Transformations 

      Troya Castilla, Javier; Wimmer, Manuel; Burgueño, Loli; Vallecillo Moreno, Antonio (CEUR-WS, 2014)
      As the size and complexity of models grow, there is a need to count on novel mechanisms and tools for transforming them. ...
    • Ponencia
      Icon

      Towards Generic Modularization Transformations 

      Fleck, Martin; Troya Castilla, Javier; Wimmer, Manuel (ACM Digital Library, 2016)
      Modularization concepts have been introduced in several modeling languages in order to tackle the problem that real-world ...
    • Ponencia
      Icon

      Towards Pattern-Based Optimization of Cloud Applications 

      Fleck, Martin; Troya Castilla, Javier; Langer, Phillip; Wimmer, Manuel (CEUR-WS, 2014)
      With the promise of seemingly unlimited resources and the flexible pay-as-you-go business model, more and more applications ...
    • Ponencia
      Icon

      Towards Systematic Mutations for and with ATL Model Transformations 

      Troya Castilla, Javier; Bergmayr, Alexander; Burgueño, Loli; Wimmer, Manuel (IEEE Computer Society, 2015)
      Model transformation is a key technique to automate software engineering tasks, such as generating implementations of ...
    • Ponencia
      Icon

      TractsTool: Testing Model Transformations based on Contracts 

      Burgueño, Loli; Wimmer, Manuel; Troya Castilla, Javier; Vallecillo Moreno, Antonio (CEUR-WS, 2013)
      Model transformations play an important role in Model-Driven Engineering (MDE), and as their size and complexity grow, ...
    • Ponencia
      Icon

      UML-based Cloud Application Modeling with Libraries, Profiles, and Templates 

      Bergmayr, Alexander; Troya Castilla, Javier; Neubauer, Patrick; Wimmer, Manuel; Kappel, Gerti (CEUR-WS, 2014)
      Recently, several cloud modeling approaches have emerged. They address the diversity of cloud environments by introducing ...
    • Ponencia
      Icon

      XMLText: From XML Schema to Xtext 

      Neubauer, Patrick; Bergmayr, Alexander; Mayerhofer, Tanja; Troya Castilla, Javier; Wimmer, Manuel (ACM Digital Library, 2015)
      A multitude of Domain-Specific Languages (DSLs) have been implemented with XML Schemas. While such DSLs are well adopted ...